Американский психопат

Брет Истон Эллис

Американский психопат

Брет Истон Эллис

Нормальные формы формул алгебры высказываний

Формулы алгебры высказываний

8. Формулами алгебры высказываний называются:

1) элементарные высказывания a, b, c и т.д.;

2) если a и b – формулы алгебры высказываний, то a ¢, a & b, a Ú b, a ® b, a «b – также формулы алгебры высказываний;

3) других формул алгебры высказываний, кроме как построенных по пунктам 1)-2), нет.

9. Очередность выполнения действий в формулах: 1) ¢; 2) &; 3) Ú; 4) ®; 5) «.

10. Формула Т называется тождественно-истинной (тавтологией), если она принимает истинное значение независимо от значений элементарных высказываний, входящих в нее.

11. Формула F называется тождественно-ложной (противоречием), если она принимает ложное значение независимо от значений элементарных высказываний, входящих в нее.

12. Две формулы A и B называются равносильными (A º B), если при одних и тех же наборах элементарных высказываний, входящих в них, они одновременно либо истины, либо ложны.

13. Элементарной конъюнкцией называется конъюнкция формул, каждая из которых является элементарным высказывание, либо отрицанием элементарного высказывания.

14. Формула алгебры высказываний записана в дизъюнктивной нормальной форме (ДНФ), если представляет собой дизъюнкцию элементарных конъюнкций.

15. Элементарной дизъюнкцией называется дизъюнкция формул, каждая из которых является элементарным высказывание, либо отрицанием элементарного высказывания.

16. Формула алгебры высказываний записана в конъюнктивной нормальной форме (КНФ), если представляет собой конъюнкцию элементарных дизъюнкций.

17. Совершенной дизъюнктивной нормальной формой (СДНФ) формулы алгебры высказываний называется ДНФ, в которой среди элементарных конъюнкций не встречаются две одинаковые формулы или формула и ее отрицание.

18. Совершенной конъюнктивной нормальной формой (СКНФ) формулы алгебры высказываний называется КНФ, в которой среди элементарных дизъюнкций не встречаются две одинаковые формулы или формула и ее отрицание.

Overdrive –

И автор записок и самые «Записки», разумеется, вымышлены. Тем не менее такие лица, как сочинитель таких записок, не только могут, но даже должны существовать в нашем обществе, взяв в соображение те обстоятельства, при которых вообще складывалось наше общество. Я хотел вывести перед лицо публики, повиднее обыкновенного, один из характеров протекшего недавнего времени. Это — один из представителей еще доживающего поколения. В этом отрывке, озаглавленном «Подполье», это лицо рекомендует самого себя, свой взгляд, и как бы хочет выяснить те причины, по которым оно явилось и должно было явиться в нашей среде. В следующем отрывке придут уже настоящие «записки» этого лица о некоторых событиях его жизни.

Федор Достоевский «Записки из подполья»

Бытует мнение, что хорошие манеры говорят о сердечности и доброжелательности. Но это совсем не так. Любое, даже самое хамское поведение, можно представить в рамках приличий. Для этого и существует цивилизация — чтобы все были взаимно вежливыми и не выказывали враждебности. Например, натуралистическое движение шестидесятых, когда последователи Руссо задавались вопросом: «Почему нельзя говорить то, что думаешь?» — было в корне неверным. В цивилизованном обществе должны быть какие-то ограничения. Если бы каждый давал волю своим порывам, мы бы давно уже поубивали друг друга.

Мисс Безупречные Манеры (Джудит Мартин)

И вот все развалилось,

Но никому не было дела

«Talking Heads»

Дата добавления: 2015-06-27