Булева алгебра
Если в логическом произведении, содержащем не менее двух множителей, имеется множитель, равный 1, то этот множитель можно зачеркнуть. Например,
x ( y
) z = x z.
Если в логической сумме, содержащей не менее двух слагаемых, имеется слагаемое, равное 0, то это слагаемое можно зачеркнуть. Например,
x ( y ) z = x z.
Если в логической сумме одно из слагаемых равно 1, то и логическая сумма равна
1. Например, x ( y ) z = 1.
В дальнейшем, согласно замечаниям 1 и 2, мы будем употреблять не формулы, а выражения, отличающиеся от формул тем, что в них кое-где опущены скобки. Эти выражения мы также будем называть формулами.
Перечисленные свойства булевых операций можно использовать в любых формулах
алгебры логики. Это делается по следующему правилу замены: если в формуле вместо x подставляем f, то эту
замену нужно сделать для всех x и 
дан-