Mantıklı bir zihin için bir doğruluk tablosu nasıl oluşturulur? Tamamlanmış ayrık normal form

Vchimosya mantıksal vrazi z vyslovluvan'ı katlar, vyznayemo "hakikat tablosunu" anlar, vvychaymo dіy tablolarını indükler, vchimos, doğruluk tablosunu indüklemeye yardım etmek için mantıksal virazіv'ın anlamını bilir.

meta ders:

1. İlk:
   1. Mantıksal virazi z vyslovlyuvan'ı nasıl katlayacağınızı öğrenin
   2. "Doğruluk tablosu" kavramını girin
   3. Vivchiti dizisi diy pobudovi doğruluk tablosu
   4. Yardım için mantıksal değişkenlerin anlamını öğrenin, doğruluk tablosunu teşvik edin
   5. Mantıksal değişkenlerin denkliği kavramını tanıtın
   6. Mantıksal viraziv, vikoristovuyuchi doğruluk tablolarının denkliğini getirmeyi öğrenin
   7. Yardım için mantıksal değişkenlerin anlamı bilgisini kapatın ve doğruluk tablosunu teşvik edin
2. Geliştirme:
   1. Mantıksal düşünceler geliştirin
   2. saygı geliştirmek
   3. hafıza geliştirmek
   4. Dil öğrenimini geliştirin
3. çevreler:
   1. Öğretmeninizin ve sınıf arkadaşlarınızın kulaklarını dinleyin
   2. Vihovuvati akuratnі vedennija zoshita
   3. disiplin geliştirmek

Dersi sakla

organizasyon anı

Merhaba çocuklar. Mantığın temellerini ve bugünkü “Mantık ayetlerinin katlanması” dersimizin temasını öğrenmeye devam ediyoruz. Hakikat Tabloları". Bu konuyu öğrendikten sonra, mantıksal formların nasıl oluşturulduğunu öğreneceksiniz ve gerçek, doğruluk tablolarının ek katlanması için kullanılacaktır.

Ödev revizyonu

Ödev kararlarını tahtaya yazın
Diğer tüm soruları çözeceğim, kontrol edeceğim, sanki ödevini yapmışsın gibi
Mantıksal işlemleri tekrar edelim
Mantıksal çarpma işlemi sonucunda kelime nasıl oluştu?
Mantıksal bir çarpma işleminin sonucu olarak oluşturulan katlanmış ifade, tüm girdiler yeni ve basit bir şekilde doğruysa, tamamen aynıdır ve sadece biraz aynıdır.
Mantıksal katlama işleminin bir sonucu olarak, katlama ne şekilde kötü olacak?
Mantıksal bir ekleme işleminin sonucu olarak kapatılan depo stopajı, yeni bir basit dağıtımda tüm girdilerin affedilmesi durumunda affedilir.
İnversiyon vislovlyuvannya'ya nasıl akar?
Sağ vislovlyuvannya affını soymak için ters çevirme ve şimdi, af - doğru.
Etkileri hakkında ne söyleyebilirsiniz?
Mantıksal sonuç (ima), "gibi ..., o zaman ..." ifadesinin ek dönüşü için bir arada iki kelime tarafından belirlenir.
atanmak ANCAK-> AT
Depo vyslovlyuvannya, mantıksal takip (ima), af ve sadece biraz daha fazlası, eğer gerçek bir fikir değişikliğinden (ilk vislovlyuvannya) sonraki af (diğer af) için kurulmuştur.
Eşdeğerliğin mantıksal işlemi hakkında ne söyleyebilirsiniz?
"... o zaman ve ancak o zaman, eğer ...", "... bunda ve sadece bu depresyonda . .."
Ek mantıksal eşdeğerlik işlemi için yapılan Skladene vyslovlyuvannya, hakaret bir kerede yapılırsa veya hibni veya doğruysa, ya ve sadece biraz doğrudur.

Yeni malzemenin açıklaması

Güzel, yeni konuya geçerek malzemenin geçişini tekrarladı.

Geçen yıl, girdi mantıksal değişikliklerinin dış değerlerini ayarlamanın katlama yolunun anlamını biliyorduk. Ve sahtekarlar, Sho, İstinostinosti masası, yak kibiri, Mantıksal Viraz'ın bolluğu, Kombizye Vikhiydni Knowlovan (kütük yılanları) tarafından sersemletilebilir.

Son dersten kıçımıza tekrar bakalım

ve katlanan vyslovlyuvannya için bir doğruluk tablosuna ihtiyacımız olacak

Doğruluk tablosunun yönlendirilmesiyle, bir dizi ardışıklık vardır. hadi yazalım

1. Doğruluk tablolarında satır sayısını belirtmek gerekir.

• satır sayısı = 2 n, de n - mantıksal değişiklik sayısı

Kaydedildi. Bir doğruluk tablosu olacağız
Neden daha iyi çalışıyoruz?
Tablodaki sütun sayısını belirtin
Nasıl hissediyoruz?
Lütfen değişiklik sayısını not edin. Zihnimizin mantıksal bir işlevi vardır. intikam 2 değişiklik
Yak?
A ve B
Tablolarda kaç satır olacak?
Doğruluk tablosundaki satır sayısı 4 eklenebilir.
Peki ya 3 değişiklik?
Satır sayısı = 2³ = 8
Virno. Biz ne yaptık?
Adım sayısı = mantıksal değişikliklerin sayısı artı mantıksal işlemlerin sayısı.
Skіlki bizim vipadku'muzda bude mi?
Bize göre değişiklik sayısı iki, mantıksal işlem sayısı beş, yani doğruluk tablosu sayısı yedide birdir.
Dobre. Dali?
Belirtilen sayıda satır ve stovptsіv içeren, stovptsі'yı belirten ve tabloya girerek, harici mantıksal değişikliklerin değerlerini ayarlamak ve stovpts'ye göre doğruluk tablosunu hatırlamak mümkündür.
İlk önce hangi işlemi yapacağız? Sadece yayları ve öncelikleri sabitleyin
Ters ve mantıksal olarak üstü çizili olanı kullanabilir veya ilk parantezdeki gerinin anlamını, sonra ters çevirmeyi ve diğer parantezdeki anlamı, sonra bu parantezler arasındaki anlamı öğrenebilirsiniz.

Artık mantıksal değişimin herhangi bir değer kümesi için mantıksal işlevin değerini atayabiliriz.
Şimdi "Eşit derecede güçlü mantıksal virazi" maddesini yazın.
Mantıksal virazi, kalan sütunların bazılarında, denilen doğruluk tabloları oluşturulur. eşit. Eşit derecede güçlü mantıksal ayetlerin tanınması için "=" işareti kullanılır,
Mantıksal virazi ┐ A & ┐B ve AvB'nin eşit olduğu gösterilebilir. Mantıksal zihnin doğruluk tablosuyla başlayalım

Tabloda kaç kelime olacak? 5
İlk önce hangi işlemi yapacağız? Inversiyon A, Inversiyon B

Şimdi mantıksal virüsaz AvB'nin doğruluk tablosunu alalım
Tabloda kaç satır olacak? dört
Tabloda kaç kelime olacak? dört

Hepimiz anlıyoruz ki, her şey için listeyi bilmek gerekli olduğundan, bizim görüşümüze göre öncelik, ayrım yapmaktır. Bu nedenle, zaferle ayrılacağız ve sonra tersine çevireceğiz. O zamana kadar mantıksal ifademiz AvB'yi yeniden yazabiliriz. Sadece diğerlerini değil, tüm kelime sayısının listesini bilmemiz gerekiyorsa, o zaman kemerler için inversiyon suçlanabilir ┐ (AvB), ancak kemerlerdeki değeri bildiğimizi biliyoruz.

Tabloları yönlendirdiler. Şimdi doğruluk tablosunun kalan uyuyanlarındaki değerleri eşit olarak yapalım, böylece kalan değerler bileşke değerler olsun. Kokular kaçıyor, o zaman mantıksal viraziler eşit derecede güçlüdür ve aralarına "=" işaretini koyabiliriz.

Görevlerin yerine getirilmesi

1.

İntikam almak için verilen formülde kaç değişiklik var? 3
Tabloda kaç satır ve sütun olacak? 8 ve 8
Uygulamamızda işlem sırası nasıl olacak? (İnversiyon, kemer operasyonları, kol cerrahisi)

2. İlerleyen mantıksal virüslerin eşdeğerliğini ek doğruluk tabloları için getirmek için:

(A → B) I (Av┐B)

Ne tür bir robimo visnovok? Veriler mantıklı ve eşit değil

Ev ödevi

Gerçeğin muzaffer tablolarını getirmek, ne mantıklı virazi

┐A v ┐B і A & B eşittir

Yeni malzemenin açıklaması (devamı)

"Hakikat masasının" muzaffer anlayışında zaten küçük bir dersimiz var ve doğruluk tablosu nedir, ne düşünüyorsun?
Doğruluk tablosu, mantıksal değişikliklerin olası değer kümeleri ile işlevlerin değerleri arasındaki geçerliliği kuran bir tablodur.
Ev işlerine nasıl başladın, ne tür bir visnovok'un var?
virazi eşit derecede güçlü
Unutmayın, dersin önünde, katlamadan, basit olanları değiştirerek bir formül haline geldiler, 2 * 2 = 4 і 2 * 2 = 5, A ve B'yi değiştirdi
Şimdi mantıksal çizgileri nasıl bir araya getireceğimizi öğrenelim

Görev yaz

Aşağıdakiler için görsel olarak mantıklı bir formül yazın:

1) Ivanov sağlıklı ve zenginse, sağlıklıdır

Dili analiz ediyoruz. Konuşmak basit görünüyor

A - Ivanov sağlıklı
V - Ivanov Bagatiy

Güzel, o zaman formül nasıl görünecek? Sadece unutma, böylece kelimenin anlamını kaybetmeden kolları formüle koy

2) є sayısını sadece 1'e ve kendisine bölündüğü için bağışlayalım

A - sayı sadece 1'e bölünür
B - sayı sadece kendisine bölünür
C - sayı є affet

3) Bir sayı 4'e tam bölünüyorsa 2'ye tam bölünür.

A - 4 ile bölünebilir
B - 2'ye bölünür

4) 2'ye bölünebilen veya 3'e bölünebilen sayıyı bilecek kadar

A - 2 ile bölünebilir
B - 3'e bölünebilir

5) Sporcu, yanlışlıkla bir süperstar veya hakemliğe terfi ettiği için diskalifiye edilir ve bunun sonucunda “doping” alır.

A - atlet p_dlyagaє diskalifiye
B - yaşa göre bir süpermen'e liderlik etmek yanlış
Z - mahkemeye bir tarihte yapılması yanlış
D - "doping" almış olmak.

Görevlerin yerine getirilmesi

1. Formül için bir doğruluk tablosu oluşturun

((P & q) → (p → r)) v p

Tabloda kaç satır ve sütun olacağını açıklayabilir misiniz? (8 ve 7) İşlemlerin sırası ne olacak ve neden?

Satırın geri kalanına hayran kaldılar ve herhangi bir girdi parametresi seti ile formülün gerçek bir değer aldığını, böyle bir formüle totoloji denir. Randevuyu yazalım:

Formüle mantık yasası veya totoloji denir, çünkü formüle giren herhangi bir değişen değer kümesiyle aynı "hakikat" anlamını almaz.
Ve eğer tüm anlamlar affedilecekse, sizce nasıl böyle bir formül hakkında ne söylenebilir?
Formülün bilinmediği söylenebilir.

2. Aşağıdakilerin görsel olarak mantıksal formülünü yazın:

Liman idaresi aşağıdaki emirleri gördü:

1. Gemi kaptanı özel bir emri kabul ederse, limanı gemisine bırakmaktan suçludur.
2. Kaptan özel bir talebi kabul etmezse, şarabın limanı mahrum bırakma suçu yoktur, aksi takdirde şarabın tüm limana kabul edilmesine izin verilir.
3. Kaptanın ya tüm limana girmesine izin verilecek, aksi takdirde özel bir bilet almayacaktır.

Konuşması basit görünüyor, formülleri bir araya getirdik

• A - kaptan özel bir siparişi kabul eder
• B - bağlantı noktasını engelleme
• Z - bağlantı noktasına erişime izin ver

1. ┐A → (┐B v C)
2. W v ┐A

3. "(2 * 2 = 4 і 3 * 3 = 9) veya (2 * 2 ≠ 4 і 3 * 3 ≠ 9)" ifadesini mantıksal bir ifade şeklinde yazın. Doğruluk tablosuna ilham verin.

A = (2 * 2 = 4) B = (3 * 3 = 9)

(A & B) v (┐A & ┐B)

Ev ödevi

Aynı doğruluk tablosuna sahip olmayan katlanmış bir kelime seçin (NOT A ve not (B ve C)).

1. AIV veya CIA;
2. (A chi B) i (A veya C);
3. A ki (B veya C);
4. Bir chi (chi'de değil, C'de değil).

Dersin üçlüğü: 45 dakika

ders türü: kombinasyonlar:

• bilginin yeniden doğrulanması - bir robotun hayali;
• yeni materyal - ders;
• sabit - pratik hak;
• bilginin yeniden doğrulanması bağımsız çalışma için bir görevdir.

meta ders:

• hakikat tablolarının anlaşılmasını sağlamak;
• önceki "Cebir vyslovluvan" dersinin materyalini pekiştirmek;
• Victoria Bilişim Teknolojileri;
• yeni malzeme için bağımsız bir araştırmaya yeni gelen birini eklemek;
• uyuşturucu geliştirme, inisiyatif;
• bilgi kültürünün gelişimi.

Ders planı:

1. Organizasyon anı (2 dakika).
2. Bir önceki dersin materyalinin tekrarı (uyku deneyimi) (4 dk.).
3. Yeni malzemenin açıklaması (XV 12).
4. sabit

• popo analizi (5 dakika);
• pratik hak (10 dakika);
• bağımsız çalışma görevi (10 dak.).

Kurulum ve yazılım malzemesi:

• bir doshka vardı;
• multimedya projektörü;
• bilgisayarlar;
• MS PowerPoint 2003 sunum düzenleyicisi;
• razdatkovy dovidkovy materyali "Doğruluk Tabloları";
• "Doğruluk Tabloları" sunumunun gösterimi.

Dersi sakla

I. Organizasyonel an

"Mantığın Temelleri" konuları ile devam ediyoruz. Daha önceki derslerde, dozlama mantığının günlük hayatımızla bağlantılı olduğu ve formülleri bir bakışta yazmanın mümkün olabileceği anlatılmıştı.

II. Bir önceki dersin materyalinin tekrarı

Ana amacı ve anlayışı tahmin edelim:

III. Yeni malzemenin açıklaması

Kalan iki hisse senedi katlanmış olarak görülebilir. Katlanmış ifadelerin gerçekliğini nasıl belirtebilirsiniz?

Sayıldığını söyledik. Kim için, mantıkta, depo (katlama) işaretlerinin gerçeğini hesaplamak için tablolar kullanılır. Bunlara doğruluk tabloları denir.

Otzhe, dersin konusu doğruluk tabloları.

3.1) Randevu. Doğruluk tablosu, giriş değişikliklerinin (Malyunok 1) tüm olası değerleri için katlama davranışının doğruluğunu gösteren tablodur.

3.2).

1. Tersine çevirme (tersine çevirme) - mantıklı bir işlem, katlanmış bir vislov'a koymak için basit bir vislov gibi, katlanmış bir vyslovlyuvannya, scho polagє i scholovzauvann vys.

Bu işlem yalnızca bir değişikliğe kadar gerçekleştirilebilir, çünkü yalnızca tanıtılmıştır. iki satırlar, bu bir değişiklik için yalnız anne olabilir iki değer: 0 veya 1.

2. Bağlaç (çarpma) - mantıksal bir işlem, iki ciltte olabileceği gibi, eğer suç doğruysa, doğru olan ve sadece diğeri olan kıvrımın kıvrımlarını affedeceğiz.

Verilen tablonun çarpım tablosuna benzediğini düşünmek kolaydır.

3. Disjunction (addition) - a logical operation, as we will forgive the skin two to put in a vіdpovіdnіst folded vіdpovіdnіst vіdpovіdnіst vіdpovіdnіst vіdpovіdnіst vіdpovіdnіst vіdpovіdnіst slozhenі vіslovlyuvannya, є pardon і і іlki іtіlki і, if offended vihіdnіh vyslovlyuvannya pardon.

Günün geri kalanını eklemek için tablonun tabloya benzer olduğunu tekrar düşünebilirsiniz. İkili sistemde sayı 1+1 = 10, onlarda - 1+1 = 2'dir. Mantıkta, 2'nin değerinin değişmesi imkansızdır, 10'a bakış açısından bakmak mümkündür. mantık: 1 - doğru, 0 - hafif, bu sırayla 10 - doğru ve bir saat hibno, Ne yapamıyorsanız, günün geri kalanı kesinlikle randevuya bağlıdır.

4. Çıkarım (takip eden) - mantıklı bir işlem, çünkü cilt iki için dilin kıvrımlarını affetmek daha kolay olabilir, o zaman ve ancak o zaman affedilebilir, eğer zihin doğruysa ve miras yanlışsa.

5. denklik (denklik) - iki ciltte görülebilen mantıklı bir işlem, cildin kıvrımlarını affedeceğiz, bu doğru yoldur ve ancak suç gerçek olanlarla aynıysa.

Kalan iki işlem tarafımızca ön derste analiz edildi.

3.3) Rozberemo doğruluk tablosu katlama algoritması katlama için:

3.4) Vislovlyuvannya'yı katlamak için doğruluk tablolarını katlama örneğine bir göz atalım:

Popo. Şu formül için doğruluk tablosunu oluşturun: A U B -> ¬A U C.

Çözüm (Malyunok 2)

Popodan, gerçeğin tablosunun tüm kararlar olmadığı, sadece günün geri kalanı olduğu açıktır (sovpetler, kırmızı renklerde vizyonlar).

IV. Sabit.

Malzemeyi pekiştirmek için bağımsız olarak yazmanız, a, b, c harflerini uygulamanız, dodatkovo Ms. (Malyunok 3) önerilir.

V. Ödev, zagalnennya materyali.

Monitör ekranında da size ev görevi verilir (Malyunok 4)

Malzeme hakkında bilgi: Bugün sınıfta, depo ifadelerinin gerçeğini ve hatta matematiksel bakış açısıyla daha fazlasını tanımayı öğrendik, böylece size kendi yorumunuzu ve bunları yansıtan formülleri verdik. İlerleyen derslerde, gelecekte düzelteceğiz ve mantıksal görevlerin sonuna kadar onları durdurmaya çalışacağız.

randevu 1

mantıksal işlev- iki değerden birini alacak şekilde değişebilen bir fonksiyon: $ 1 $ veya $ 0 $.

Ek bir doğruluk tablosu için mantıksal bir işlevin ayarlanıp ayarlanamayacağı: tablonun sol kısmında olası tüm argümanların bir kümesi kaydedilir ve mantıksal işlevin diğer değerleri sağ kısımdadır.

randevu 2

doğruluk şeması- Yenisine dahil edilebilecek basit virüslerin olası tüm değer kümeleriyle virüslerin katını kabul etmenin değerinin nasıl olduğunu gösteren bir tablo.

randevu 3

eşit derecede güçlü mantıksal virazi denir, doğruluk tablolarının geri kalanı seçilir. Eşdeğerlik ek işareti $ "=" $ ile gösterilir.

Doğruluk tablolarını katlarken aşağıdaki mantıksal işlemlerin sırasını kontrol etmek önemlidir:

Küçük olan 1.

Vikonannya operasyonlarının vikonannі düzeninin önceliği yaylardır.

Mantıksal fonksiyonların doğruluk tablolarını oluşturmak için algoritma

Satır sayısını belirleyin: satır sayısı= $2^n + 1$ (Başlık satırı için), $ N $ - basit virüs sayısı. Örneğin, iki değişim değerinin fonksiyonları için $ 2 ^ 2 = 4 $ değişim değerleri setlerinin kombinasyonları, üç değişim değerinin fonksiyonları için - $ 2 ^ 3 = 8 $ vb.

Sütun sayısını belirleyin: adım sayısı = değişiklik sayısı + mantıksal işlem sayısı. Mantıksal işlemlerin sayısı belirlendiğinde, vikonannyalarının sırası da korunacaktır.

Mantıksal işlemlerin sonuçlarını içeren sütunları alınşarkı dizisinde, ana mantıksal işlemlerin gerçeğinin vrakhovuychi tabloları.

Bebek 2.

popo 1

$ D = \ bar (A) \ vee (B \ vee C) $ mantıksal virüsünün doğruluk tablosunu ekleyin.

Çözüm:

Satır sayısı önemlidir:

satır sayısı = 2 $ ^ 3 + 1 = 9 $

Değiştirme sayısı - 3 $.

1. ters çevirme($\bar(A)$);
2. prangalarda bulunan ayrılma ($ B \ vee C $);

3. ayırma ($ \ üst çizgi (A) \ vee \ sol (B \ vee C \ sağ) $)

   stoopsiv sayısı = $3 + 3=6$.

Mantıksal işlemlerin gerçeğinin tablosunu, vrakhovuychi tablolarını hatırlayın.

Bebek 3.

popo 2

Belirli bir mantıksal zihin için bir doğruluk tablosu oluşturun:

Çözüm:

Satır sayısı önemlidir:

Basit virüs sayısı - $ n = 3 $, ortalama

satır sayısı = $2^3 + 1=9$.

Önemli ölçüde, katılımcı sayısı:

Değiştirme sayısı - 3 $.

Mantıksal işlemlerin sayısı ve sırası:

1. liste($\bar(C)$);
2. prangalarda bulunan ayrılma ($ A \ vee B $);
3. bağlaç($(A\vee B)\bigwedge\overline(C)$);
4. üst çizgi, yani anlamlı bir şekilde $ F_1 $ ($ \ üst çizgi ((A \ vee B) \ büyük kama \ üst çizgi (C)) $);
5. disjunction($ A \ vee C $);
6. bağlaç($(A\vee C)\bigwedge B$);
7. üst çizgi, yani anlamlı bir şekilde $ F_2 $ ($ \ üst çizgi ((A \ vee C) \ büyük kama B) $);

8. ayırma mantıksal bir mantık işlevidir ($ \ overline ((A \ vee B) \ bigwedge \ overline (C)) \ vee \ overline ((A \ vee C) \ büyük kama B) $).

Dayalı: demo seçenekleri 2015 рік için ЄDI z іnformatics, Bosov Lyudmila Leonidivna'nın asistanında

1.dünyanın ön kısmında sizler için Ayrılma ve Bağlaç mantıksal işlemlerini seçtik, siz bize inversiyonu çözme görevini bıraktınız ve ЄДІ görevinin sonuna geldiniz.

ters çevirme

ters çevirme- yeni bir vyslovlyuvannya koymak için bir cilt vislovlyuvannya gibi mantıklı bir işlemdir, bir tür anti-yanma-ödün veren vihіdnogo'nun anlamı.

Ters çevirmeyi kaydetmek için şu karakterler kullanılır: NOT, `¯`,` ¬ `

Ters çevirme bir sonraki doğruluk tablosu tarafından belirlenir:

Tersine çevirmeye mantıksal transpozisyon da denir.

Daha katlanabilir olsun, bir bakışta yazabilirsiniz mantıksal virüs- virazi, mantıksal değişikliklerin intikamını almak için scho, mantıksal operasyonların ve kemerlerin belirtileri. Log-zatsії vyrazhennі vykonuyutsya'daki mantıksal işlemler aşağıdaki sırayla: inversiyon-sya, bağlaç, ayrılma. Kolların ek yerleşimi için işlemin sırasını değiştirebilirsiniz.

Mantıksal işlemlerin böyle bir önceliği olabilir: ters çevirme, bağlaç, ayrılma.

Ve böylece, önümüzde bilişim 2015'in ЄDI'sinin 2 No'lu görevi var.

Oleksandra virüse karşı doğruluk tablosunu doldurdu F. Vaughn tablonun sadece küçük bir parçasını aldı:

x1	x2	x3	x4	x5	x6	x7	x8	F
	0						1	0
1			0					1
			1				1	1

F ne tür bir virüs olabilir?

F'nin katlanabilir bir görünümünde, yalnızca bir mantıksal işlem olduğu görevi tamamlamak önemli ölçüde daha kolaydır: çarpma veya toplama. birden fazla / \ Bir değişikliğin sıfıra eşit olmasını istersem, tüm F'nin değeri sıfıra eşit olabilir. Ve eğer V sayısını değiştirmek istiyorsanız, bir değişiklik istiyorsanız, birden daha pahalı olacak, o zaman tüm viraz F'nin değeri 1'den fazla olabilir.

Sessiz veriler, tablolardaki gibi F'deki 8 değişikliğin kabuğunda kiraz için yeterli.

1 numaralı viraz'ı doğrulayın:

• ? /\ 1 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 0 )
• tablolardaki diğer benzerliklere göre, x1 = 1, x4 = 0, F'nin mümkün olup olmadığını görebiliriz ve = 1'e eşit olabilir, yani diğer tüm değişiklikler 1'e eşittir (1 /\ ? /\ ? /\ 1 /\ ? /\ ? /\ ? /\ ? )
• tablonun üçüncü satırına göre, x4 = 1, x8 = 1, F = 0 (? /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ 0 ) Ve elimizdeki tablolarda F = 1, i tse bir numara olduğumuz anlamına gelir. KESİNLİKLE GİTMEYİN.

2 numaralı viraz'ı doğrulayın:

• tablonun ilk satırına göre, x2 = 0, x8 = 1, F'nin mümkün olup olmadığını görebiliriz ve = 0'a eşit olabilir, bu nedenle diğer tüm değişiklikler 0'a eşittir (? V 0 V ? V ? V ? V ? V ? V 0 )
• Diğer benzerlik tablolarına göre x1 = 1, x4 = 0, F = 1 ( 1 V ? V ? V 1 V ? V ? V ? V ? )
• tablonun üçüncü satırına göre x4 = 1, x8 = 1, F mümkünse sizin için yapabiliriz ve eşit olabilir = 1, değişikliklerden birinin daha pahalı olmasını istiyorsanız 1 ( ? V ? V ? V 0 V ? V ? V ? V 0 )
  

3 numaralı viraz'ı doğrulayın:

• tablonun ilk satırına göre, x2 = 0, x8 = 1, bilmenizi isteriz ki F = 0 (? /\ 0 /\ ? /\ ? /\ ? /\ ? /\ ? /\ 1 )
• Diğer benzerlik tablolarına göre x1 = 1, x4 = 0, F = 0 (0 /\ ? /\ ? /\ 0 /\ ? /\ ? /\ ? /\ ? ) Ve elimizde F = 1 olan tabloda, i tse şu anlama gelir: KESİNLİKLE GİTMEYİN.

4 numaralı viraz'ı doğrulayın:

• tablonun ilk satırına göre, x2 = 0, x8 = 1, bilmenizi isteriz ki F = 1 ( ? V 1 V ? V ? V ? V ? V ? V 0 ) Ve elimizde F = 0 olan tabloda, i tse şu anlama gelir: KESİNLİKLE GİTMEYİN.

Tek bir egemen uykudaki görevin kararında, tam olarak aynı sırada hareket etmeniz gerekir: tablolarda bulunan bu haraçlar için kesinlikle uygun olmayan seçenekleri seçin. Olası bir seçeneği seçin (bizim durumumuzda 2 numaralı seçenekte olduğu gibi) ve haklı olacaksınız.

Mantık ayetlerinin çözümü, görüldüğünde yazıya geçirilmiş kabul edilir. doğruluk şeması - kurallara göre, olası tüm değişiklik setleriyle mantıksal bir virüsü kabul etmenin değerinin nasıl gösterildiğinin gösterildiği bir tablo.

Mantıklı bir zihin için hakikat tablolarını katlarken, emin olmak gerekir. mantıksal işlem sırası , ve kendisi:

1. kemerlerde değil,
2. ters çevirme (ters),
3. & (Mutluluk),
4. v( ayrılma),
5. => (ima),
6. <=> (denklik ).

Doğruluk tablolarını katlamak için algoritma :

1. Tablodaki satır sayısını sayın (2 olarak hesaplanır) n, de n - değişiklik sayısı + sütunların bir satır başlığı).

2. Adım sayısını hesaplayın (değişiklik sayısı + mantıksal işlem sayısı olarak hesaplanır).

3. Mantıksal işlemlerin sırasını ayarlayın.

4. stovptsіv adlarını ve giden mantıksal değişikliklerin olası değer kümelerini gösteren tabloyu isteyin.

5. Doğruluk tablosunu ifadelere göre doldurunuz.

6. Kanıtları yazın.

Sağ 8

Yaklaşan mantıksal viraz için doğruluk tablolarına bakın:

1. F = (Av B) & ( ¬ A& ¬ B).

2.F=X& ¬ Y v Z.

Kendini sapık (vidpovidey etalonu)

Saygı duyun!

totoloji - aynı gerçek formül gerçek " ("1

silme - aynı af formülü , Abo formül değerini alır " saçmalık " ("0 ") Önüne ne zaman girilse, değişikliğin manası.

eşit formüller - iki formül ANCAKі AT yani aynı değerleri alın, aynı değer kümeleri ile bunlara dahil olan değerler değiştirilir.Mantık cebirinin iki formülünün denkliği bir sembolle gösterilir.