Контрольные задания

Вопрос:

Фото задания: 3. Составьте таблицы истинности для логических выражений: А) F = ¬(A ∨ B) ∧ C; б) (A ∨ B) ∧ ¬(A & B).

Фото задания

3. Составьте таблицы истинности для логических выражений: А) F = ¬(A ∨ B) ∧ C; б) (A ∨ B) ∧ ¬(A & B).

А) Сначала вычисляем A ∨ B, затем его отрицание и конъюнкцию с C.

A	B	C	A ∨ B	¬(A ∨ B)	F
0	0	0	0	1	0
0	0	1	0	1	1
0	1	0	1	0	0
0	1	1	1	0	0
1	0	0	1	0	0
1	0	1	1	0	0
1	1	0	1	0	0
1	1	1	1	0	0

б) Здесь выражение истинно, когда ровно одно из A и B равно 1.

A	B	A ∨ B	A & B	¬(A & B)	F
0	0	0	0	1	0
0	1	1	0	1	1
1	0	1	0	1	1
1	1	1	1	0	0