1_Algebra_logiki

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

1 0

1

0

1

0

0

1

0

1 1

1

1

0

1

1

0

0

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

1 1

1

1

0

1

1

0

0

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

x1 # x2 стрелка Пирса.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

x1 # x2 стрелка Пирса.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

x1 # x2 стрелка Пирса.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

x1 # x2 стрелка Пирса.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

x1 # x2 стрелка Пирса.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50

x1 _ x2 = x1 + x2 дизъюнкция,

логическое сложение.

x1^x2 = x1&x2 = x1 x2 = x1x2

x1 x2

_

^

!

=

#

конъюнкция, логическое умножение.

0 0

0

0

0

1

1

1

1

x1 x2 сумма по модулю два.

0 1

1

0

1

1

0

1

0

x1 ! x2 = x1 x2 = x1 ) x2

1 0

1

0

1

0

0

1

0

импликация, логическое следование.

x1 x2 = x1 , x2 = x1 $ x2

1 1

1

1

0

1

1

0

0

эквивалентность.

x1=x2 штрих Шеффера.

x1 # x2 стрелка Пирса.

Николаева Екатерина Александровна (ТГУ)

Алгебра логики

5 / 50