Скажем, у нас есть выражение: (¬P v ¬Q) v (P v Q)
Могу ли я переставить выражение в: (¬P v P) v (¬Q v Q)?
Если так, то почему это разрешено?Потому что в выражении есть все ИЛИ?
Логический оператор «ИЛИ» имеет здесь две важные характеристики: ассоциативный (что означает a V (b V c) = (a V b) V c) и коммутативный (что означает a V b = b V a).Первое свойство позволяет вам игнорировать круглые скобки в серии «ИЛИ», а второе позволяет вам изменить их порядок так, как вы считаете нужным.
a V (b V c) = (a V b) V c
a V b = b V a