Მარტივი ლოგიკა ოპერაციების კომპიუტერული

ყველას, ვინც შესწავლას იწყებს კომპიუტერული მეცნიერების, სწავლების ორობითი რიცხვი სისტემის. იგი გამოიყენება გამოთვლაც ლოგიკური ოპერაციები. განვიხილოთ შემდეგი ყველა ყველაზე ელემენტარული ლოგიკური ოპერაციების კომპიუტერულ მეცნიერებათა. ყოველივე ამის შემდეგ, თუ თქვენ ფიქრობთ, ისინი გამოიყენება შექმნა ლოგიკა კომპიუტერები და მოწყობილობები.

უარყოფა

დაწყებამდე განიხილოს დეტალურად კონკრეტული მაგალითები ჩამოვთვალოთ ძირითადი ლოგიკური ოპერაციების in კომპიუტერი:

• უარყოფა;
• გარდა;
• გამრავლება;
• დაიცვას;
• თანასწორობა.

გარდა ამისა, დაწყებამდე სასწავლო ლოგიკა ოპერაციების ვთქვა, რომ კომპიუტერულ მეცნიერებათა მდგომარეობს დანიშნული "0", მაგრამ სიმართლე "1".

ყოველი ქმედება, როგორც ნორმალურ მათემატიკა, შემდეგ ნიშნებს ლოგიკური ოპერაციები გამოიყენება კომპიუტერულ მეცნიერებაში: ¬, v, &, ->.

ყველა ქმედება შეიძლება აღწერს ნებისმიერი ციფრები 1/0, ან უბრალოდ ლოგიკური გამონათქვამები. დასაწყისისთვის განხილვის მათემატიკური ლოგიკა მარტივი ოპერაციის გამოყენებით მხოლოდ ერთი ცვლადი.

ლოგიკური უარყოფა - inversion ოპერაცია. დედააზრი ისაა, რომ თუ საწყის გამოხატვის - სიმართლე, inversion შედეგი - სიცრუეა. პირიქით, თუ საწყის გამოხატვის - ტყუილი, მაშინ შედეგი იქნება inversion - სიმართლე.

როდესაც წერა ამ გამოხატვის ჩვენ ვიყენებთ შემდეგ notation "¬A".

ჩვენ გაძლევთ სიმართლე მაგიდა - circuit, რომელიც აჩვენებს ყველა შესაძლო შედეგების ოპერაციების ნებისმიერი მონაცემთა წყარო.

ანუ, თუ გვაქვს ორიგინალური გამოხატვის - ნამდვილი (1), მაშინ მისი უარყოფა არის ყალბი (0). და თუ საწყის გამოხატვის - ცრუ (0), მაშინ მისი უარყოფა - ნამდვილი (1).

გარდა ამისა,

დარჩენილი ოპერაციების საჭიროებს ორი ცვლადი. აღნიშნავს ერთ-ერთი გამოხატულება - მეორე - B. ლოგიკური ოპერაციების კომპიუტერული აღმნიშვნელი ამისა ოპერაცია (ან გათიშვის), ან როდესაც წერა მიერ დანიშნული სიტყვა "ან", ან აღინიშნება "V". დაწერეთ out შესაძლო ვარიანტები მონაცემები და შედეგების გათვლები.

1. E = 1, n = 1, მაშინ E v n = 1. თუ ორი გამონათქვამები მართალია, მაშინ მათი გათიშვის ასეა.
2. E = 0, n = 1, საბოლოოდ E v = H 1 E = 1, H = 0, მაშინ E v N = 1. თუ მინიმუმ ერთი გამონათქვამები მართალია, მაშინ მათი ამისა მართალია.
3. E = 0, H = 0, შედეგი E v H = 0. თუ ორივე გამონათქვამები ყალბი, მაშინ მათი თანხა, ასევე - სიცრუეა.

იყიდება მამაცობის, ჩვენ ვქმნით სიმართლე მაგიდა.

გამრავლება

რა შეხება დამატებით ოპერაციის გადატანა გამრავლება (ერთად). ჩვენ ვიყენებთ იგივე სიმბოლოები, რომელიც არ მიეცა ზემოთ გარდა. როდესაც წერა ლოგიკური გამრავლება აღინიშნება "და" სიმბოლო ან წერილი "მე".

1. E = 1, n = 1, მაშინ E & H = 1. თუ ორი გამონათქვამები მართალია, მაშინ მათი ერთობლიობაში - ნამდვილი.
2. თუ მინიმუმ ერთი გამონათქვამები - ტყუილი, მაშინ შედეგი ლოგიკური გამრავლება ესეც ტყუილია.

• E = 1, N = 0, ამიტომ E & H = 0.
• E = 0, n = 1, მაშინ E & H = 0.
• E = 0, H = 0, სულ E & H = 0.

შედეგი

ლოგიკური ოპერაციის თანმიმდევრობა (გავლენა) - ერთ-ერთი უმარტივესი მათემატიკური ლოგიკა. იგი ეფუძნება ერთი აქსიომა - ჭეშმარიტების არ შეუძლია დაიცვას სიცრუეა.

1. E = 1, N =, ასე E -> N = 1. თუ რამდენიმე სიყვარული, მაშინ მათ შეუძლიათ კოცნა - სიმართლე.
2. E = 0, n = 1, მაშინ E -> N = 1. თუ წყვილი არ ჩახშობის, მათ შეუძლიათ კოცნა - ასევე შეიძლება იყოს ჭეშმარიტი.
3. E = 0, H = 0, ეს E -> N = 1. თუ წყვილი არ არის სიყვარული, მაშინ ისინი არ kiss - ასეა.
4. E = 1, n = 0, შედეგი არის E -> H = 0. თუ რამდენიმე სიყვარული, ისინი არ kiss - ტყუილი.

ხელი შეუწყოს აღსრულების მათემატიკური ოპერაციები, როგორც წარმოგიდგენთ სიმართლე მაგიდა.

თანასწორობის

ბოლო ოპერაცია ჩაითვლება ლოგიკური პირადობის თანასწორობა და ექვივალენტობის. ტექსტში, შეიძლება მოხსენიებული, როგორც "... თუ მხოლოდ და მხოლოდ იმ შემთხვევაში, თუ ...". დაყრდნობით, რომ ეს ფორმულირება, ჩვენ წერენ ყველა მაგალითები დაწყებული ამ.

1. A = 1, B = 1, მაშინ A≡V = 1. პირი, სასმელი ტაბლეტები თუ და მხოლოდ იმ შემთხვევაში, თუ ავად. (ნამდვილი)
2. A = 0, B = 0, შედეგად A≡V = 1. Man არ სვამს დაფები და მხოლოდ მაშინ, როდესაც არ არის ავად. (ნამდვილი)
3. A = 1, B = 0, ამიტომ A≡V = 0. კაცი სვამს ტაბლეტი მაშინ და მხოლოდ მაშინ, როდესაც არ არის ავად. (ყალბი)
4. A = 0, B = 1, მაშინ A≡V = 0. ინდივიდუალური დაფები და სვამს, თუ და მხოლოდ იმ შემთხვევაში, თუ ავად. (ყალბი)

თვისებები

ასე რომ, განიხილოს მარტივი ლოგიკა ოპერაციების კომპიუტერულ მეცნიერებაში, ჩვენ შეგვიძლია დავიწყოთ შესწავლა ზოგიერთი მათი თვისებები. როგორც მათემატიკა, ლოგიკა ოპერაციების არსებობს მისი დამუშავების მიზნით. დიდი ოპერაციების ლოგიკური გამონათქვამები ფრჩხილებში ხორციელდება პირველი. მას შემდეგ, რაც მათ, პირველ რიგში, ჩვენ იმედი ყველა ღირებულებების მაგალითზე უარყოფა. შემდეგი ნაბიჯი არის გაანგარიშება ერთად, მაშინ გათიშვის. მხოლოდ ამის შემდეგ განახორციელოს გამოძიება ოპერაცია და, საბოლოოდ, ექვივალენტობის. განვიხილოთ პატარა მაგალითი სიცხადე.

ვ B & ¬V -> ამავე ≡

პროცედურა ასრულებს შემდეგ ქმედებები.

1. ¬V
2. In & (¬V)
3. ვ (V & (¬V))
4. (A v (B & (¬V))) -> B
5. ((A v (V & (¬V))) -> B) ≡A

გადაჭრის მიზნით, ამ მაგალითად, ჩვენ უნდა ავაშენოთ გაფართოებული სიმართლე მაგიდა. როდესაც იგი შეიქმნა, გვახსოვდეს, რომ კოლონები უკეთესი განთავსებული იმავე მიზნით, რომელიც განხორციელდება და მოქმედება.

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

დასკვნა

ამ სტატიაში მე განხილული ზოგიერთი ცნებები მათემატიკური ლოგიკა, როგორიცაა კომპიუტერული მეცნიერების, თვისებები ლოგიკა ოპერაციების და - რა არის ლოგიკური ოპერაციების საკუთარი. ზოგიერთი მარტივი მაგალითები არ მიეცა იმ პრობლემების მათემატიკური ლოგიკა და სიმართლე მაგიდები გამარტივება ამ პროცესში.