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