tabuµka pravdivostná
- nástroj definovania logických operátorov pri tabuµkovom budovaní výrokovej logiky.