Sententional calculus
01.01.06
SENTENTIONAL CALCULUS (výrokový počet) je prográmek na výpočet tabulek pravdivostních hodnot formulí výrokového počtu. Ovládání je prosté, jednoduše napíšete formuli výrokového počtu a zmáčknete [ENTER], program vám vypočítá a zobrazí tabulku pravdivostních hodnot pro vámi zadanou formuli. Jako výrokové proměnné používejte malá písmena abecedy (velká budou automaticky změněna na mala). Program ukončíte napsaním "x" nebo "exit" Pro operátory používejte následující symboly:

NázevSymbolZápis
IMPLIKACE > a>b
NEGACE ! !a
KONJUNKCE (AND) & a&b
DISJUNKCE (OR) | a|b
EKVIVALENCE = a=b
XOR * a*b
PEIRCEOVA operace (NOR) + a+b
SHEFFEROVA operace (NAND) @ a@b


Dále používejte symboly závorek (,) pro určeni priority. Několik příkladů formulí výrokového počtu (Pro zajímavost jsem vybral axiomy výrokového počtu):

p>(q>p)
(p>(q>r))>((p>q)>(p>r))
(!p>!q)>(q>p)

Další dostupnou funkci je předefinování starého nebo definice nového binárního operátoru. Definice má následující tvar:

DEFSymboloperatoruKodoperatoru, PŘÍKLAD: DEF~0011

Pokud bychom použili příklad, definoval by nám nový
operátor ~ s pravdivostní tabulkou:

a b | a~b |
1 1 |  0  |
0 1 |  0  |
1 0 |  1  |
0 0 |  1  |


Pro zobrazeni všech definovaných operátorů napište show.


Tady k tomu můžete napsat komentář
Jméno:
Opište text v rámečku: