В общем есть две функции:
1. a->b (следование) надо выразить через операции И-НЕ
2. a~b (эквивалентность) надо выразить через операции ИЛИ-НЕ
Можете помочь?

1. A->B == not(A and not(B))
2. Учтем, что
A~B == (A->B) and (B->A)

A->B == not(A) or B
X and Y == not(not(X) or not(Y))

Итого
not(not(not(A) or B) or not(not(B) or A))

Nord1504 спасибо огромное!