Лекция п Булевы функции. Существенная и фиктивная переменная

Определение 6.1. Формулой над  называется всякое (и только такое) выражение вида:

1) x – любая переменная из множества X;

2) , где A, B – это формулы над .
В дальнейшем будем обозначать формулы прописными буквами латинского алфавита. В тех случаях, когда нужно обратить внимание на множество тех переменных, которые участвуют в построении формулы, пишут . Пусть A – произвольная формула над , тогда формулы, которые использовались для ее построения, будем называть