Wprowadzenie: Logika kombinacyjna Logika kombinacyjna (CL) opiera się na rzeczach zwanych kombinatorami , które są w zasadzie funkcjami. Istnieją dwa podstawowe „wbudowane” kombinatory Si K, które zostaną wyjaśnione później. Lewicowe skojarzenie CL jest lewostronnie asocjatywny , co oznacza, że...
Wprowadzenie Kipple to ezoteryczny język programowania oparty na stosach, opracowany przez Rune Berg w marcu 2003 roku. Kipple ma 27 stosów, 4 operatorów i strukturę kontrolną. Półki na książki Stosy są nazywane a- zi zawierają 32-bitowe liczby całkowite ze znakiem. Istnieje również specjalny...
Cel: Napisz kompletny program lub funkcję, która przyjmuje formułę w logice zdaniowej (odtąd nazywane wyrażeniem lub wyrażeniem logicznym ) i wypisuje tę formułę w spójnej postaci normalnej . Istnieją dwa stałe, ⊤a ⊥co stanowi prawdziwe i fałszywe, operator jednoargumentowy ¬reprezentujący negację...