Костя_Клюив, 43 - 23 января 2009 21:26

Как любая алгбраическая система булева алгебра базируется на совокупности некоторых предположений, которые принято называть аксиомами, т.е предположениями не требующими доказательств. Аксиомы определяются для двух логических значений 1 ( "ИСТИНА" ) и 0 ( "ЛОЖЬ" ) и операций логического умножения (конъюнкции), которая обозначается " & ", " · " или не обозначается вовсе, логического сложения (дизъюнкции), которая обозначатся " v ", "+", и отрицания ( инверсии ), которая обозначается горизонтальной чертой (" - " ) над переменной или выражением. Булевой переменной, обозначаемой обычно xi , называется переменная принимающая два логических значения { 0, 1 }.


как интересно.. :)