Контрольная работа: Математическая логика

0

0

1

1

1

0

1

0

1

1

1

0

1

0

0

1

0

0

0

1

1

1

1

1

0

1

Это табличный способ задания ФАЛ. Наряду с ними применяется задание функций с помощью формул в языке, содержащем переменные x , y , …, z (возможно индексированные) и символы некоторых конкретных функций – аналитический способ задания ФАЛ.

Наиболее употребительным является язык,содержащий логические символы ~, –. Формулы этого языка определяются следующим образом:

1) все переменные есть формулы;