Замена эквиваленции и импликации на конъюнкцию, дизъюнкцию и отрицание.

До сих пор мы занимались равносильными преобразованиями формул, не содержащих знаков импликации и эквиваленции “®“ и “«“. Сейчас покажем, что всякую формулу, содержащую ® или «, можно заменить равносильной ей формулой, не содержащей этих знаков.

Имеют место следующие равносильности:

C®UºÚU (1) C®Uº (2)

Докажем равносильность (1) с помощью таблицы истинности:

X	Y	X®U		ÚU