Описаны предикаты: Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т. е. имеет ли она вид А + В, где А - константа, а В - сумма в нормальной форме. Напишите определение типа «булева формула». Напишите программу, распознающую логические формулы в конъюнктивной нормальной форме, т. е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где...
СПбГУП, СПб., 17 с. Лаба по "Основам компьютерной электроники". Закон отрицания, Дистрибутивный (распределительный) закон, Закон склеивания. Аналитические и схемотические док-ва в программе MicroCap.
Комментарии