Опе­ра­цию «эк­ви­ва­лен­ция» также можно вы­ра­зить через «ИЛИ» и «НЕ»:

 

A ≡ B = ¬A ∧ ¬B ∨ A ∧ B

 

или в дру­гих обо­зна­че­ни­ях

 

A ≡ B = \barA умно­жить на \barB плюс A умно­жить на B.

 

Пра­ви­ла пре­об­ра­зо­ва­ния ло­ги­че­ских вы­ра­же­ний (за­ко­ны ал­геб­ры ло­ги­ки):

 

ЗаконДля ИДля ИЛИ
Двой­но­го от­ри­ца­ния\overline\overlineA=A
Ис­клю­че­ния тре­тье­гоA \!\! умно­жить на \!\! \overlineA=0A плюс \overlineA=1
Ис­клю­че­ния кон­стантA умно­жить на 1=A;A умно­жить на 0=0A плюс 0=A;A плюс 1=1
По­вто­ре­нияA умно­жить на A=AA плюс A=A
По­гло­ще­нияA умно­жить на левая круг­лая скоб­ка A плюс B пра­вая круг­лая скоб­ка =AA плюс A умно­жить на B=A
Пе­ре­ме­сти­тель­ныйA умно­жить на B=B умно­жить на AA плюс B=B плюс A
Со­че­та­тель­ныйA умно­жить на левая круг­лая скоб­ка B умно­жить на C пра­вая круг­лая скоб­ка = левая круг­лая скоб­ка A умно­жить на B пра­вая круг­лая скоб­ка умно­жить на CA плюс левая круг­лая скоб­ка B плюс C пра­вая круг­лая скоб­ка = левая круг­лая скоб­ка A плюс B пра­вая круг­лая скоб­ка плюс C
Рас­пре­де­ли­тель­ныйA плюс B умно­жить на C= левая круг­лая скоб­ка A плюс B пра­вая круг­лая скоб­ка умно­жить на левая круг­лая скоб­ка A плюс C пра­вая круг­лая скоб­ка A умно­жить на левая круг­лая скоб­ка B плюс C пра­вая круг­лая скоб­ка =A умно­жить на B плюс A умно­жить на C
Де Мор­га­на\overlineA \!\! умно­жить на \!\! B=\overlineA плюс \overlineB\overlineA плюс B=\overlineA \!\! умно­жить на \!\! \overlineB


О про­ек­те · Ре­дак­ция · Пра­во­вая ин­фор­ма­ция · О ре­кла­ме
© Гущин Д. Д., 2011—2026