/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : all_kb_ab_CndNF_555135063-555135063.cl
* Type       : KB
* Domain     : all KBs over {a,b} in CndNF
* Date       : 2023-12-21
* Version    : v1.0
* 
* Details    : Signature size        : 2
*              #Conditionals per KB  : 25
* 
* Refs       : [Pri19] T. Prinz (2019). Ein Ansatz zur Generierung und Speicherung konditionaler Wissensbasen und induzierter Inferenzrelationen, Master Thesis, Univ. of Hagen, Germany.
*
* Comments   : 
*
****************************************************************/

signature
   a,b 

conditionals
kb_ab_CndNF_555135063{
   (a,b | a,b ; a,!b), //r1 
   (a,b | a,b ; !a,!b), //r3 
   (a,!b | a,!b ; !a,b), //r5 
   (a,!b | a,!b ; !a,!b), //r6 
   (a,b | a,b ; a,!b ; !a,b), //r8 
   (a,b | a,b ; a,!b ; !a,!b), //r10 
   (a,!b | a,!b ; !a,b ; !a,!b), //r13 
   (a,b ; a,!b | a,b ; a,!b ; !a,b), //r15 
   (a,b ; a,!b | a,b ; a,!b ; !a,!b), //r17 
   (a,b ; !a,!b | a,b ; a,!b ; !a,!b), //r18 
   (a,!b ; !a,b | a,!b ; !a,b ; !a,!b), //r20 
   (a,!b ; !a,!b | a,!b ; !a,b ; !a,!b), //r21 
   (a,b | a,b ; a,!b ; !a,b ; !a,!b), //r22 
   (a,b ; a,!b | a,b ; a,!b ; !a,b ; !a,!b), //r25 
   (a,b ; !a,!b | a,b ; a,!b ; !a,b ; !a,!b), //r26 
   (a,b ; a,!b ; !a,b | a,b ; a,!b ; !a,b ; !a,!b), //r29 
   (a,b ; a,!b ; !a,!b | a,b ; a,!b ; !a,b ; !a,!b), //r30 
   (a,b | a,b ; !a,b), //r32 
   (!a,b | !a,b ; !a,!b), //r35 
   (a,b | a,b ; !a,b ; !a,!b), //r38 
   (a,b ; !a,b | a,b ; a,!b ; !a,b), //r42 
   (a,b ; !a,b | a,b ; !a,b ; !a,!b), //r43 
   (a,b ; !a,!b | a,b ; !a,b ; !a,!b), //r44 
   (a,b ; !a,b | a,b ; a,!b ; !a,b ; !a,!b), //r48 
   (a,b ; !a,b ; !a,!b | a,b ; a,!b ; !a,b ; !a,!b) //r50 
}