Логика и рассуждения: Операции для трёх высказываний