Основы формальной логики.
Логические операции