Основные логические операции:

• конъюнкция, импликация
• конъюнкция, дизъюнкция, инверсия
• формализация, инверсия
• дизъюнкция, конъюнкция, формализация