Қазақстан республикасының білім және ғылым министірлігі

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

жүктеу 21,8 Mb. бет 35/214 Дата 09.01.2018 өлшемі 21,8 Mb. #7265 түрі Мазмұндама

Импликация мен эквиваленцияны конъюнкция, дизъюнкция, терістеу арқылы өрнектеу. белгілері бар кез-келген формуланы белгілері жоқ басқа эквивалентті формуламен ауыстыруға болатының дәлелдейміз. Айталық (1) (2) формулалары белгілі болсын. Бірінші формулада импликация дизъюнкция мен терістеу арқылы, ал екінші формуладағы импликация конъюнкция мен терістеу арқылы өрнектеліп тұр. Мына эквиваленцияны (3) конъюнкция, импликация арқылы өрнектеуге болатындығын көрсетейік. Тексеру: жүктеу 21,8 Mb. Достарыңызбен бөлісу:

©g.engime.org 2024
әкімшілігінің қараңыз