Основные логические операции:
конъюнкция, импликация
конъюнкция, дизъюнкция, инверсия
формализация, инверсия
дизъюнкция, конъюнкция, формализация