Правила записи сложных формул
При записи сложных высказываний следует обращать внимание, чтобы в формулах не было двух рядом стоящих логичеcких операций. Они должны быть разъединены формулами либо вспомогательными символами.
При записи сложных формул следует помнить, что
1) каждое вхождение логической связки 
относится к пропозициональной переменной или формуле, следующей непосредственно за логической операцией справа;
2) каждое вхождение логической операции Ù после расстановки скобок связывает пропозициональные переменные или формулы, непосредственно окружающие логическую операцию;
3) каждое вхождение логической операции Ú после расстановки скобок связывает пропозициональные переменные или формулы, непосредственно окружающие эту операцию и т.д.
При использовании этих правил к одной и той же формуле скобки следует расставлять постепенно, продвигаясь слева направо.
Пример. Пусть дана формула
F=((X1Ú 
)®X3)«X4.
Последовательность выполнения операций после задания значений пропозициональных переменных следующая: сначала необходимо определить значение формулы , затем (X1Ú ) затем (X1Ú )®X3) и, наконец,
((X1Ú )®X3)«X4.
Пример. Для формулы F=X1ÙX2ÙX3Ú 
®X3«X1. последовательность выполнения логических операций следующая: операций 
.
Дата добавления: 2015-04-10; просмотров: 975;