а) (¬A v B) & (A v ¬B)
Эта логическая схема соответствует выражению, которое истинно, когда либо A ложно, либо B истинно, и при этом A истинно или B ложно.
б) (A v ¬B) & C
Эта логическая схема соответствует выражению, которое истинно, когда либо A истинно, либо B ложно, и при этом C также истинно.
В этих выражениях используются основные логические операции: отрицание, сложение (ИЛИ) и умножение (И).