Определение
Литера -простое высказывание или его отрицание .
Определение
Контрарная пара-пара литер состоящая из некоторой литеры и её же отрицания (А А).

Дано: А
ВС
СА
Доказать: В
Доказательство:
Шаг1: ВС=ВС
СА=СА
Шаг2: D1=A; D2=BC; D3=CA, D4=B
D={D1,D2,D3,D4}
Шаг3: А(ВС)(СА)В
Шаг4:
4.1. D1 и D3, контрарная пара А иА; результат R1=C
D={R1, D2, D4}
4.2. R1 и D2, контрарная пара C иC; результат R2=B
D={R2, D4}
4.3. R2 и D4, контрарная пара B иB; результат R3= -пустая


литер 33 доказана ;))))