Алгебра высказываний на уроках информатики

Такая область математической логики, как алгебра высказываний, хорошо освоена в информатике.Шауцкова Л.З. Решение логических задач средствами алгебры логики, газета Информатика 1999, №5.Обозначить используемые высказывания символами.Обозначим высказывания буквами соответственно A, B, C, D, E, F.Со слов учителя следует, что каждый мальчик прав только в одном высказывании.Достаточное условие завала по информатике - двойка по диктанту.Так как только одно из высказываний истинно, то имеем исключающую дизъюнкцию, которая будет истинна.Кроме того, ложными будут высказывания.Если он сдаст математику, то информатику он сдаст только при условии, что не завалит диктант.Задача №19 Уроки логики.