Аксиомы:
0 = 1 1 = 0
1 1 = 1 1 1 = 1
0 0 = 0 0 0 = 0
0 1 = 1 0 = 1 0 1 = 1 0 = 0
Тождества:
a a = a a a = a
a a = 1 a a = 0
a 1 = 1 a 1 = a
a 0 = a a 0 = 0
ФАЛ – алгебраическое выражение, содержащее элементы алгебры логики a,b,c…,связанные между собой операциями, определенными в этой алгебре.
Например: f (a, b, c) = a b c a a c ;
Элементарной называется ФАЛ одного или двух аргументов, в логическом выражении которой содержится не более одной логической операции.
Например:
Для двух чисел A и B выполнить следующие операции:
a b a b a b a + b
a b a b a b a – b и b – a
Допустим a = 1310 и b = 2110
Представим их значения в двоичной системе счисления:
a 123 + 122 + 021 + 120 = 13 11012 01101 a = 10010
b 124 + 023 + 122 + 021 + 120 101012 b = 01010
Операции a b 01101 a b 10010
10101 10101
11101 10111
a b 01101 a & b 10010
10101 01010
00101 00000
a b = 11101 = 00010
a b = 00101 = 11010
a + b 01101
10101
100010
+ 1310 = 0 0 1 1 0 12 – 1310 = 1 1 0 0 1 0 + 1 = 1 1 0 0 1 12
+ 2110 = 0 1 0 1 0 12 – 2110 = 1 0 1 0 1 0 + 1 = 1 0 1 0 1 12
b – a + 0 1 0 1 0 1
1 1 0 0 1 1
1
a – b + 0 0 1 1 0 1
1 0 1 0 1 1
1 1 1 0 0 02 дополнительный код
1 0 0 1 1 12 обратный код
+ 1
1 0 1 0 0 02 – 8