Таблицы истинности операций логики высказываний

1. Отрицание:

А = «На улице идет дождь», = «На улице не идет дождь»

А

2. Дизъюнкция:

дизъюнкция Ā U В = «на улице не идет дождь или / и над головой раскрыт зонт»

P	Q	P V Q

3. Конъюнкция:

конъюнкция А ∩ В = «На улице идет дождь и над головой раскрыт зонт»

А	В	А ∩ В

4. Импликация:

импликация А → В «Если на улице идет дождь, то над головой раскрыт зонт»

5. Эквивалентность:

«А эквивалентно В»

P	Q	P ~Q