Додати до Chrome
Визначте інтерпретації, на яких
2, 2
1, 1
0, 0
1, 0
0, 1
Для булевих змінних x, y тотожність означає
комутативність кон'юнкції
асоціативність диз'юнкції
асоціативність кон'юнкції
закон елімінації
комутативність диз'юнкції
ідемпотентність кон'юнкції
ідемпотентність диз'юнкції
закон де Моргана