Билеты по логике - файл n1.doc

Билеты по логике
скачать (617.5 kb.)
Доступные файлы (1):
n1.doc618kb.04.12.2012 04:18скачать

n1.doc

1   2   3   4

Третий этап

(

(

А



В

)

˄

(

¬

В

˅

С

)

)



(

А



С

)







1




1



















1































1




1



















0































1




0



















1































1




0



















0































0




1



















1































0




1



















0































0




0



















1































0




0



















0


























Теперь полностью заполним входную часть: под одинаковыми переменными должны стоять одинаковые значения истинности, а, поскольку перед В имеется знак отрицания во второй скобке, то сразу применим операцию отрицания и изменим значение истинности в соответствии с действием оператора отрицания. В итоге получим:

(

(

А



В

)

˄

(

¬

В

˅

С

)

)



(

А



С

)







1




1










0







1













1




1










1




1










0







0













1




0










1




0










1







1













1




1










1




0










1







0













1




0










0




1










0







1













0




1










0




1










0







0













0




0










0




0










1







1













0




1










0




0










1







0













0




0





Следующим шагом определим значение истинности выражения ((АВ) в соответствии с действием оператора импликации. Таблица примет следующий вид:

(

(

А



В

)

˄

(

¬

В

˅

С

)

)



(

А



С

)







1

1

1










0







1













1




1










1

1

1










0







0













1




0










1

0

0










1







1













1




1










1

0

0










1







0













1




0










0

1

1










0







1













0




1










0

1

1










0







0













0




0










0

1

0










1







1













0




1










0

1

0










1







0













0




0




Проделаем ту же операцию для выражения (¬В˅С). Таблица примет вид:

(

(

А



В

)

˄

(

¬

В

˅

С

)

)



(

А



С

)







1

1

1










0




1

1













1




1










1

1

1










0




0

0













1




0










1

0

0










1




1

1













1




1










1

0

0










1




1

0













1




0










0

1

1










0




1

1













0




1










0

1

1










0




0

0













0




0










0

1

0










1




1

1













0




1










0

1

0










1




1

0













0




0



1   2   3   4


Учебный материал
© bib.convdocs.org
При копировании укажите ссылку.
обратиться к администрации