Если применить эквивалентность
[ формула ] ,
Если применить эквивалентность [ формула ] , то хорновский дизъюнкт превращается в привычный вид импликации или продукции : [ формула ] .
Если применить эквивалентность [ формула ] , то хорновский дизъюнкт превращается в привычный вид импликации или продукции : [ формула ] .