На уроке мы вспомним известные нам таблицы истинности для логических операций отрицание, конъюнкция и дизъюнкция, а также рассмотрим новые логические операции импликацию, строгую дизъюнкцию и эквиваленцию.