PDF ArchiveHistorical archive . public document
2011 . May . 24

Logic

Logic.pdf

PDF 1.4 1 page 32.54 KB Filed 24/05/2011
Download this PDF
Logic.pdf
Web reader . 1 page
Page 1 of 1, Logic

File preview

Задание: Сколько различных решений имеет уравнение ((K ⇒ L) ∧ (M ⇒ N ) ⇒ K) ∧ (L ⇒ M ) = 1 Упрощаем формулу: Сначала раскладываем импликации по формуле (A ⇒ B) = (A ∨ B): ((K ∨ L) ∧ (M ∨ N ) ⇒ K) ∧ L ∨ M = 1 Раскладываем оставшуюся импликацию и применяем правило Де-Моргана для L ∨ M : ((K ∨ L) ∧ (M ∨ N ) ∨ K) ∧ L ∧ M = 1 Снова юзаем правило Де-Моргана: (((K ∨ L) ∨ (M ∨ N ) ∨ K) ∧ L ∧ M = 1 ((K ∧ L) ∨ (M ∧ N ) ∨ K) ∧ L ∧ M = 1 А вот здесь применяем закон поглощения, который выглядит так: A ∨ (B ∧ A) = A и A ∧ (B ∨ A) = A ((M ∧ N ) ∨ K) ∧ L ∧ M = 1 Теперь вносим M под скобку (M ∧ N ) ∨ K ((M ∧ N ∧ M ) ∨ (K ∧ M )) ∧ L = 1 Конъюнкция переменной и её отрицания равна нулю, следовательно, вся скобка (M ∧ N ∧ M ) обращается в ноль. После чего остается K ∧L∧M =1 Конъюнкция из трех переменных обращается в единицу только в случае, когда все переменные равны единице. Таким образом формула обращается в 1 в случае, когда K = 1, L = 1, M = 0, но в процессе упрощения мы лишились переменной N , она оказалась фиктивной, т.е. не влияющей на результат функции. И как при N = 0, так и при N = 1 у нас значение функции не изменится, следовательно, мы получаем два решения уравнения: (K = 1, L = 1, M = 0, N = 0) и (K = 1, L = 1, M = 0, N = 1) Ответ: 2. 1

Download Logic

Logic.pdf . PDF . 32.54 KB . 1 page

Download PDF

File information

File name
Logic.pdf
Size
32.54 KB
Pages
1 page
PDF version
1.4
Produced with
TeX / MiKTeX pdfTeX-1.40.9
Filed on
24/05/2011
Page views
1 253
Document ID
logic
MD5
5f6d99d111c3313b1694089b8dd10b79
SHA-512
8d0327843d89f3eadced9d6d8ca3a7bb3dec0b82774cde1765bbeda72a58fcfe26dc5bacd1b3f0b98a4eb2cab2ce2fb326bb77f89ef4536f03e9181867cacff7

Share this document

This address never changes. It is the one to keep, to send, or to cite.

Shorter, for a text message or a post with a character limit.

To link to this document from a website or a blog.