Question

Постройте таблицы истинности для сложных ЛВ: a.) (не А или B) и (A или не B) b.) А и B или А и С с.) А следует В и С

Answer 1

А) в және с
б) а және с

Answer 2

a.) (¬A ∨ B) ∧ (A ∨ ¬B)

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

b.) A ∧ B ∨ A ∧ C

A	B	C	A ∧ B	A ∧ C	A ∧ B ∨ A ∧ C
0	0	0	0	0	0
0	0	1	0	0	0
0	1	0	0	0	0
0	1	1	0	0	0
1	0	0	0	0	0
1	0	1	0	1	1
1	1	0	1	0	1
1	1	1	1	1	1

c.) A → B ∧ C

A	B	C	B ∧ C	A → B ∧ C
0	0	0	0	1
0	0	1	0	1
0	1	0	0	1
0	1	1	1	1
1	0	0	0	0
1	0	1	0	0
1	1	0	0	0
1	1	1	1	1

Здесь символ "¬" обозначает отрицание (логическое НЕ), "∨" обозначает дизъюнкцию (логическое ИЛИ), "∧" обозначает конъюнкцию (логическое И), и "→" обозначает импликацию (логическое следование).