top of page
Законы логики
Так же как и в привычной нам алгебре есть законы упрощения выражений, в алгебре логики действуют законы алгебры логики. Для удобства обработки информации алгебраические и логические выражения принято упрощать или приводить к нормальному виду.
Большинство законов обеих алгебр схожи и уже знакомы вам. И лишь несколько вы узнаете впервые и, возможно, удивитесь.
Упрощение сложных высказываний - это замена их на равносильные на основе законов алгебры высказываний с целью получения высказываний более простой формы.
Нормальная форма выражений - это выражение где нет знаков операций импликации и эквивалентности, а инверсия применена только к отдельным высказываниям.
Примеры упрощения некоторых выражений
Ещё несколько примеров упрощения
(записать в тетрадь и разобрать)
bottom of page