А

0

1

A ∨ B

А

A ∧ B

В

A ∨ B

(¬x ∧ y) ∨ (¬x ∧ ¬y)

(x ∨ ¬y) ∧ (x ∧ y)

(¬x ∨ y) ∧ (¬x ∨ ¬y)

(¬x ∨ y) ∧ (¬x ∧ ¬y)

F = (¬A ∨ B) ∧ (A ∨ ¬B)

F = ¬(A ∨ B) ∧ ¬(A ∨ ¬B)

F = (¬A ∧ B) ∨ (A ∧ ¬B)

F = ¬(A ∨ B) ∧ (A ∨ ¬B)

(A ∧ ¬A) ∨ (С ∧¬ C)∨ (¬B ∧ В)

(A ∧ C) ∨ (¬B ∧ ¬A) ∨ (¬B ∧ C)

(A ∧ ¬A) ∨ (A ∧ C) ∨ (¬B ∧ ¬A) ∨ (¬B ∧ C)∨ (¬B ∧ В)

(A ∧ ¬A) ∨ (¬B ∧¬ C)∨ (¬B ∧ В)

Метод алгебраічних перетворень, метод карт Карно.

Метод найменших квадратів, метод інтегрування.

Метод варіаційного чисельності, метод скінченних елементів.

Метод Монте-Карло, метод карт Карно

І

ЯКЩО..., ТО

АБО

ТАК

A ⊕ B ⊕ C

(A ∨ B) ∧ (¬C)

¬(A ∧ B)

A ∧ B ∨ C

Максимальний добуток

Змінна в булевому виразі

Логічна операція

Мінімальний добуток

НЕ

АБО

ІМПЛІКАЦІЯ

Ісключаюче АБО