Главная страница

PsyOnline. Упрощённая страница (для КПК). Полная страница

А	не-А. NOT, НЕ, отрицание
В	не-В
А и В = С. АND, И, умножить, пересечение, одновременно	не (А и В) = не-А или не-В = не-С
А или В. OR, ИЛИ, сложить, плюс, объединение, хотя бы одно	не (А или В) = не-А и не-В. ни то, ни другое
либо А, либо В. XOR, ЛИБО, только одно	не (либо А, либо В)
А минус В = А и не-В	не (А минус В) = не-А или В
В минус А = В и не-А	не (В минус А) = не-В или А
D
E
F
	Еще некоторые правила: "не (не А)" = "А" "А содержит С" = "С входит в А" "А содержит С" => "не-С содержит не-А" "А содержит С" => "не-А не содержит С" "А содержит Е, Е содержит D" => "А содержит D"