Question

Заполнить таблицу истинности логического выражения: (C→¬B)∧(¬A∨C)

Answer 1

A B C ⌐B C→(⌐B) ⌐A (⌐A)vC (C→(⌐B))⊕((⌐A)vC)

0 0 0 1 1 1 1 0

0 0 1 1 1 1 1 0

0 1 0 0 1 1 1 0

0 1 1 0 0 1 1 1

1 0 0 1 1 0 0 1

1 0 1 1 1 0 1 0

1 1 0 0 1 0 0 1

1 1 1 0 0 0 1 1

Answer 2

Для заполнения таблицы истинности данного логического выражения, мы должны перебрать все возможные комбинации значений для логических переменных A, B и C и вычислить результат выражения для каждой из них. Всего есть 2^3 = 8 возможных комбинаций значений для трех логических переменных.

A	B	C	C → ¬B	¬A ∨ C	(C → ¬B) ∧ (¬A ∨ C)
0	0	0	1	1	1
0	0	1	1	1	1
0	1	0	1	0	0
0	1	1	0	1	0
1	0	0	1	0	0
1	0	1	0	1	0
1	1	0	1	1	1
1	1	1	0	1	0

Таким образом, мы получили таблицу истинности, которая показывает результат выражения (C→¬B)∧(¬A∨C) для каждой из 8 возможных комбинаций значений для логических переменных A, B и C.