Semantics of Logic Programs

Logic Program:

	x1 x2 <- !x5 & x1 & x4; x2 <- !x6 & x5; x3 <- !x2; x4 <- x2; x5 <- x4;

Examples for Logic Programs

P01a

    i <- st;
    o1 <- i & st;
    o2 <- !o1 & st;
    o3 <- o2 & st;
    st

P01b

    o1 <- i & st;
    o2 <- !o1 & st;
    o3 <- o2 & st;
    st

P02

    o1 <- !o1 & !o2 & st;
    o2 <- st;
    st

P03

    o <- !o & st;
    st

P04

    o <- o & st;
    st

P05

    o1 <- o1 & st;
    o2 <- !o2 & st;
    st

P06

    o1 <- o2 & st;
    o2 <- o1 & st;
    st

P07a

    o <- !o & st;
    st

P07b

    o <- o & st;
    st

P08a

    i
    o1 <- i & st;
    o1 <- o2 & st;
    o2 <- o1 & st;
    st

P08b

    o1 <- i & st;
    o1 <- o2 & st;
    o2 <- o1 & st;
    st

P09

    o1 <- o1 & st;
    o2 <- !o2 & o1 & st;
    st

P10seq

    o <- o & st;
    o <- !o & st;
    st

P10par

    o <- o & st;
    o <- st;
    o <- !o & st;
    st

P11

    o1 <- !o2 & o1 & st;
    o2 <- o1 & st;
    st

P12seq

    o <- o & st;
    o <- !o & st;
    st

P12par

    o <- o & st;
    o <- st;
    o <- !o & st;
    st

P13a

    i
    o1 <- !i;
    o1 <- o2 & st;
    o2 <- i & o1 & st;
    st

P13b

    o1 <- !i;
    o1 <- o2 & st;
    o2 <- i & o1 & st;
    st