Логические связки¶

Определение. Отрицание ¬P истинно, когда P ложно. Конъюнкция P∧Q истинна, когда оба истинны. Дизъюнкция P∨Q истинна, когда хотя бы одно истинно (∨ — включающее «или», истинно и когда оба; исключающее — ⊕).