Импликация мен эквиваленцияны конъюнкция, дизъюнкция, терістеу арқылы өрнектеу.

белгілері бар кез-келген формуланы белгілері жоқ басқа эквивалентті формуламен ауыстыруға болатының дәлелдейміз.

Айталық (1) (2) формулалары белгілі болсын. Бірінші формулада импликация дизъюнкция мен терістеу арқылы, ал екінші формуладағы импликация конъюнкция мен терістеу арқылы өрнектеліп тұр. Мына эквиваленцияны (3) конъюнкция, импликация арқылы өрнектеуге болатындығын көрсетейік.

Тексеру:

				( )& ( )
а	а	а	а	а	а
а	ж	ж	а	ж	ж
ж	а	а	ж	ж	ж
ж	ж	а	а	а	а

(3) пен (1) ден (4) ( конъюнкция, дизъюнк ция, терістеу) (3)-пен (2)-ден (5) (конъюнкция, терістеу)