ლექცია 2, Propositional Formulas

problem 3.2 

ამოცანა ძალიან მარტივია, განიხილავ P-ს, Q-სა და R-ის ყველა შესაძლო მნიშვნელობისათვის ორივე დებულების მნიშვნელობებს და აჩვენებ, რომ ყველა შემთხვევაში ამ დებულებებს ერთნაირი მნიშვნელობა ექნება.

problem 3.3 

უნდა აღვწეროთ რეკურსიული პროცედურა, რომელსაც გადავცემთ რიცხვს და ისიც შესაბამისი რაოდენობის სვეტიან truth table-ს დახატავს/დაწერს, რაცაა რა :) 

ამოხსნა ისევ და ისევ ეკუთვის ყოვლად „ძალითლექტორ“ რატი მაჭავარიანს. 

True ავღნიშნოთ 1-ით, False - 0-ით. პირველი მეთოდი, რომელსაც გადავცემთ საწყის რიცხვს, დაწერს რიცხვს იმდენი ერთიანით, რა რიცხვიც გადავეცით. ეს მოხდება ასე:                               

მაგალითი დაწერილია С++ -ში (ლოგიკურად);

http://pastebin.com/jA4ELUk7 -აგერაა კოდი

პროცედურა wrapper-ით იწყება toBinary გამოყოფილია უბრალო დეკომპოზიციისთვის

მაგალითად, თუ გადაცემული რიცხვია 3, მივიღებთ 111-ს (ანუ ამ შემთხვევაში TTT-ს). შემდეგ, ამ ახალ რიცხვს გადავცემთ რეკურსიულ მეთოდს, რომელიც მას დაბეჭდავს, 1-ს გამოაკლებს და თავის თავს გადასცემს მანამ, სანამ 000-ს არ დაბეჭდავს. შესაბამისად თუ n -ს გადავცემთ და 2^n - 1 დან 0 მდე ყველა რიცხვს ვბეჭდავთ, ასევე დავბეჭდავთ ყველა შესაძლო პერმუტაციასაც, ანუ Truth Table-ს ყველა შესაძლო სტრიქონს.

problem 3.5 

ვერ გავიგე(თ), რა უნდოდათ ამ ამოცანაში :)