Алгебра логики.
Логические высказывания