2. ÚVOD DO OVLÁDACÍ TECHNIKY

Podobné dokumenty
Binární logika Osnova kurzu

VÝUKOVÝ MATERIÁL. Bratislavská 2166, Varnsdorf, IČO: tel Číslo projektu

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Logické řízení. Náplň výuky

KOMBINAČNÍ LOGICKÉ OBVODY

2. LOGICKÉ OBVODY. Kombinační logické obvody

Obsah DÍL 1. Předmluva 11

12. Booleova algebra, logická funkce určitá a neurčitá, realizace logických funkcí, binární kódy pro algebraické operace.

Číslicové obvody základní pojmy

Číselné vyjádření hodnoty. Kolik váží hrouda zlata?

Booleova algebra. ZákonyBooleovy algebry Vyjádření logických funkcí

Základy logického řízení

Úplný systém m logických spojek. 3.přednáška

DUM 02 téma: Elementární prvky logiky výklad

1. 5. Minimalizace logické funkce a implementace do cílového programovatelného obvodu CPLD

teorie logických spojek chápaných jako pravdivostní funkce

Zvyšování kvality výuky technických oborů

Matematická logika. Rostislav Horčík. horcik

λογος - LOGOS slovo, smysluplná řeč )

VY_32_INOVACE_CTE_2.MA_04_Aritmetické operace v binární soustavě Střední odborná škola a Střední odborné učiliště, Dubno Ing.

Výroková logika. Teoretická informatika Tomáš Foltýnek

OVLÁDACÍ OBVODY ELEKTRICKÝCH ZAŘÍZENÍ

Sémantika výrokové logiky. Alena Gollová Výroková logika 1/23

KOMBINAČNÍ LOGICKÉ OBVODY

1 z :27

Cvičení z logiky II.

Úvod do informačních technologií

Výroková a predikátová logika - II

Logické proměnné a logické funkce

Základy logického řízení

mové techniky budov Osnova Základy logického Druhy signálů

MODERNIZACE VÝUKY PŘEDMĚTU ELEKTRICKÁ MĚŘENÍ

DIGITÁLN LNÍ OBVODY A MIKROPROCESORY 1. ZÁKLADNÍ POJMY DIGITÁLNÍ TECHNIKY

Architektura počítačů Logické obvody

Architektura počítačů Logické obvody

Výroková logika - opakování

LOGIKA VÝROKOVÁ LOGIKA

Název projektu: EU peníze školám. Základní škola, Hradec Králové, M. Horákové 258

Úvod do informačních technologií

2.7 Binární sčítačka Úkol měření:

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

ODBORNÝ VÝCVIK VE 3. TISÍCILETÍ MEII KOMBINAČNÍ LOGICKÉ OBVODY

LOGICKÉ ŘÍZENÍ. Matematický základ logického řízení

Základy digitální techniky

Booleovská algebra. Pravdivostní tabulka. Karnaughova mapa. Booleovské n-krychle. Základní zákony. Unární a binární funkce. Podmínky.

0. ÚVOD - matematické symboly, značení,

Logika II. RNDr. Kateřina Trlifajová PhD. Katedra teoretické informatiky Fakulta informačních technologíı BI-MLO, ZS 2011/12

Projekt realizovaný na SPŠ Nové Město nad Metují. s finanční podporou v Operačním programu Vzdělávání pro konkurenceschopnost Královéhradeckého kraje

M - Výroková logika VARIACE

Y36SAP Y36SAP-2. Logické obvody kombinační Formy popisu Příklad návrhu Sčítačka Kubátová Y36SAP-Logické obvody 1.

V druhé části tématu KDYŽ se řekne Excelu se budeme věnovat složitějším výrokům.

P4 LOGICKÉ OBVODY. I. Kombinační Logické obvody

SČÍTAČKA, LOGICKÉ OBVODY ÚVOD TEORIE

1. Matematická logika

Struktura a architektura počítačů (BI-SAP) 4

Logika. 2. Výroková logika. RNDr. Luděk Cienciala, Ph. D.

Matematika B101MA1, B101MA2

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

Velmi zjednodušený úvod

Digitální obvody. Doc. Ing. Lukáš Fujcik, Ph.D.

Minimalizace logické funkce

MATURITNÍ TÉMATA Z MATEMATIKY

Zvyšování kvality výuky technických oborů

Zvyšování kvality výuky technických oborů

Úvod do logiky (VL): 5. Odvození výrokových spojek z jiných

Výroková logika. p, q, r...

Inovace a zkvalitnění výuky směřující k rozvoji odborných kompetencí žáků středních škol CZ.1.07/1.5.00/

PROGRAMOVATELNÉ LOGICKÉ OBVODY

Úvod do informatiky. Miroslav Kolařík

LOGICKÉ ŘÍZENÍ. Matematický základ logického řízení. N Měřicí a řídicí technika 2012/2013. Logické proměnné

MĚŘENÍ Laboratorní cvičení z měření Měření parametrů logického obvodu část Teoretický rozbor

Neuronové sítě Minimalizace disjunktivní normální formy

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Výrazy a operátory. Operátory Unární - unární a unární + Např.: a +b

0.1 Úvod do matematické analýzy

Sylabus kurzu Elektronika

MULTISIM SIMULACE A ANALÝZA ČÍSLICOVÝCH OBVODŮ. úlohy. učební skripta

Nalezněte pracovní bod fotodiody pracující ve fotovoltaickem režimu. Zadáno R = 100 kω, φ = 5mW/cm 2.

Projekt Pospolu. Sekvenční logické obvody Klopné obvody. Autorem materiálu a všech jeho částí, není-li uvedeno jinak, je Ing. Jiří Ulrych.

Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α

Způsoby realizace této funkce:

1. Matematická logika

Výroková a predikátová logika - II

Konečný automat. Studium chování dynam. Systémů s diskrétním parametrem číslic. Počítae, nervové sys, jazyky...

ČÍSLICOVÁ TECHNIKA UČEBNÍ TEXTY

Výroková logika. Sémantika výrokové logiky

Sada 1 - Základy programování

Logické řízení. Nejčastěji 0 1 Obecněji L H Je-li to fyzikálně výstižnější VYPNUTO ZAPNUTO Pro slovní pojmy NE ANO False, True F T

V počítači jsou jen jednotky a nuly

4. Elektronické logické členy. Elektronické obvody pro logické členy

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Výroková a predikátová logika - II

Spojování výroků (podmínek) logickými spojkami

Maturitní témata profilová část

TEAM DESIGN ABB CHALLENGE. EBEC Brno března

2.2 Sémantika predikátové logiky

Univerzita Tomáše Bati ve Zlíně

Technická kybernetika. Obsah. Klopné obvody: Použití klopných obvodů. Sekvenční funkční diagramy. Programovatelné logické automaty.

Transkript:

Projekt: Inovace oboru Mechatronik pro Zlínský kraj Registrační číslo: CZ.1.07/1.1.08/03.0009 2. ÚVOD DO OVLÁDACÍ TECHNIKY OVLÁDACÍ TECHNIKA A LOGICKÉ ŘÍZENÍ 2.1.5 LOGICKÉ FUNKCE Cíle: Po prostudování této kapitoly byste měli být schopni: - definovat pojem logická funkce - vyjmenovat, definovat a vyjádřit pomocí tabulky, algebraického výrazu, schematické značky a kontaktního schématu alespoň pět logických funkcí - uvést slovní příklady jednotlivých logických funkcí za použití správných spojek Logická funkce je to předpis, který kombinaci, popř. i sledu hodnot jedné nebo více (nezávislých) logických proměnných jednoznačně přiřazuje hodnoty jedné (závislé) logické proměnné. Logická funkce je funkce, která pro konečný počet vstupních parametrů vrací logické hodnoty. Používá se v oboru teorie řízení a číslicové techniky, v praxi pak například v mikroprocesorové technice. Parametry logické funkce jsou logické proměnné. Přiřazuje-li logická funkce výstupní hodnoty všem kombinacím vstupních logických proměnných, pak se nazývá úplně zadaná logická funkce; v opačném případě se nazývá neúplně zadaná logická funkce. Kombinace vstupních logických proměnných, k níž není určena hodnota výstupní logické funkce, se nazývá neurčitý stav.

Negace Je takovou funkcí jedné proměnné, u které má závisle proměnná,,z vždy opačnou hodnotu, než nezávisle proměnná,,a Logická negace (používá se pro ni symbol NOT, popř. se označuje pruhem nad proměnnou) je unární logická operace, jejíž hodnota je nepravda, právě když první vstupní hodnota je pravda a. kontaktní schéma Př. žárovka svítí tehdy, když cívka je bez proudu. Logický součet (nebo) je takovou funkcí dvou proměnných,,a,,,b, že závisle proměnná,,z nabývá hodnoty 1 tehdy, je-li buď,,a nebo,,b nebo,,a i,,b současně rovno 1.

kontaktní schéma Př. Poplachová siréna zazní /z/ tehdy, když v prvém skladě dosáhne teplota určené výše/a/ nebo v druhém skladě dosáhne teplota určené výše /b/. Logický součin (a) je takovou funkcí dvou proměnných,,a,,,b, že závisle proměnná,,z nabývá hodnoty 1 pouze tehdy, mají-li současně,,a i,,b hodnotu 1. V ostatních případech nabývá proměnná,,z hodnoty 0. Výrok vyjadřujeme spojkami,,a nebo,,i. kontaktní schéma

Př. Televize pracuje dobře /Z/ tehdy, když má anténu /a/ a když je připojena k elektrické síti /b/. Shefferova funkce (NAND), (i ne-li) je takovou funkcí dvou proměnných negace součin,,a,,,b, že závisle proměnná,,z nabývá hodnoty 0 pouze tehdy, mají-li současně,,a,,,b hodnotu I. V ostatních případech nabývá proměnná,,z hodnoty 1. Tento člen provádí funkci tzv. negovaného logického součinu (Shefferovu funkci). Je to nejběžněji používané hradlo. Propojením vstupů je schopno pracovat jako invertor. Lze pomocí něho realizovat většinu klopných obvodů. kontaktní schéma Př. Zařízení má poruchy tehdy /Z/, není-li v činnosti motor /a/ a není-li v činnosti spojka /b/.

Pierceova Funkce (NOR), (ani) je takovou funkcí dvou proměnných,,a,,,b, že závisle proměnná,,z nabývá hodnoty 1 pouze tehdy, mají-li současně,,a i,,b hodnotu 0. V současných případech nabývá proměnná,,z hodnoty 0. Tento člen provádí funkci tzv. negovaného logického součtu (Peirceovu funkci). Propojením vstupů je schopen pracovat jako invertor. Kontaktní schéma Př. Petr je doma tehdy /Z/, když ani nešel do kina /a/ ani nešel do divadla /b/.

Totožnost (ekvivalence) Je takovou funkci dvou proměnných,,a,,,b, že závisle proměnná,,z nabývá hodnoty 1 pouze tehdy, mají-li současně,,a i,,b shodné hodnoty. Výrok vyjadřujeme spojkou,,tehdy, když. Název ekvivalence je v logice používán pro binární logický operátor značený symbolem <=>. Významově odpovídá tento operátor větné konstrukci "právě když" nebo také "tehdy a jen tehdy, když" ekvivalence tedy říká, že spojovaná tvrzení platí pouze zároveň (obě ano, nebo obě ne). Tomu odpovídá i pravdivostní tabulka této operace. tabulkové vyjádření algebraický výraz Př. První poloha: Zařízení funguje tehdy /Z/, když vypínač a je vypnutý /a/ a vypínač b je vypnutý /b/. Druhá poloha: Zařízení funguje tehdy /Z/, když vypínač a je zapnutý /a/ a vypínač b je zapnutý /b/.