Алгебра логики. Таблицы истинности логической функции двух переменных.