Булев сәйкестігі

Булева логика заңдалары 

Булева сәйкестігі - логикалық өрнектерді жеңілдетуге мүмкіндік беретін ережелер.

 Мазмұны Булева заңдылықтары Мысал Карно Картасы Ұяшық мәтіні Ұяшық мәтіні

 Булева заңдылықтары 

 Заңдар  AND Формасы  OR Формасы Анықтау заң  A.1 = A  A+0 = A Нөлдік және бірлік заң  A.0 = 0  A+1 = 1 Кері заң  A.Ā = 0   A+Ā = 1 Идемпотент заңы  A.A = A  A+A = A коммутативті заң  A.B = B.A A+B = B + A ассоциативті заң  A.(B.C) = (A.B).C   A+(B+C) = (A+B) + C таратушы заң  A+(B.C) = (A+B).(A+C)  A.(B+C) = (A.B) + (A.C) сіңіру заң  A(A+B) = A  A+A.B = A, A + ĀB = A + B Де Морган заңы  (Ā.Ḇ) = Ā + Ḇ  (Ā+Ḇ) = Ā.Ḇ

Мысал'

A + A.B логикалық өрнегі А - ға тең болады, яғни заңдарға қағидаларға сәйкес, A + A.B = A(1 + B) = A

 Енгізу              Өнім A    B    AB  A + A.B 0     0     0  0 0     1     0  0 1     0     0  1 1     1     1  1

 Карно картасы 

Карно картасы - логикалық тізбектерді, өрнектерді жеңілдету үшін қолданылатын графикалық әдіс.
Kарно карталар Булева алгебрасына салыстырғанда әлдеқайда тез және жеңіл логикалық функцияларды жинақтайды.

	MarTIan (талқылауы)