Операция ИЛИ НЕ на стрелата на Пиърс (отрицание на дизюнкцията)

Намиране на истината на сложно твърдение

ЦЕЛ НА РАБОТАТА

3.1.1 Изследвайте начини за решаване на логически изрази.

3.1.2 Вземете практически умения, за да откриете истината на сложното твърдение.

РЪКОВОДСТВА

3.2.1 Методически указания за изпълнение на практическа работа.

ПРОЦЕДУРА ЗА ИЗПЪЛНЕНИЕ НА РАБОТАТА

3.3.1 Научете основните начини за решаване на логически изрази.

3.3.2 В съответствие с получената опция изпълнете задачата.

СЪДЪРЖАНИЕ НА ДОКЛАДА

3.4.1 Цел на работата.

3.4.2 Методически препоръки.

3.4.3 Работна поръчка.

3.4.4 Отговори на въпроси за сигурност.

ПРОБНИ ВЪПРОСИ

3.5.1 Логически операции.

3.5.2 Еквивалентност на формулите

3.5.3 Закони на алгебрата на логиката

3.5.4 Таблица на истината

ПРИЛОЖЕНИЕ 1

ТЕОРЕТИЧНА ИНФОРМАЦИЯ

Операция на отрицание НЕ (инверсия)

Чрез отричане изречения A се нарича операция, чийто резултат F е истина, когато A е невярна и невярна, когато A е истина.

Отрицанието се обозначава с тире над изявлението A и се чете по следния начин: F е инверсията на A

Логично добавяне ИЛИ (дизюнкция)

Дизюнкция Е логична операция върху две променливи A и B, резултатът F от които е верен, ако поне една от съставните му променливи е вярна.

Операцията ИЛИ се обозначава със знака "V" или "+":

или

Логическо умножение И (съвпад)

Съчетание Е логична операция върху две променливи A и B, резултатът F от които е верен, ако стойностите на двете променливи са верни.

Операцията И се обозначава със символа "^" или знака за умножение "*":

или или F = A & B

Операция на еквивалентност (еквивалентност)

Еквивалентност Е логична операция върху две променливи A и B, резултатът от които е истина, ако и само ако и двата твърдения са едновременно true или false.

Операцията за еквивалентност се обозначава със символа "

или

Импликация на операцията

---